A timed work ̄ow process model
نویسندگان
چکیده
An internet-based work ̄ow management system (WfMS) enables business participants to work co-operatively at sites belonging to dierent time zones. Time-related factors have to be incorporated into the traditional work ̄ow processes so as to adapt to the globally distributed applications. This paper proposes a timed work ̄ow process model through incorporating the time constraints, the duration of activities, the duration of ̄ow, and the activity distribution with respect to the multiple time axes into the conventional work ̄ow processes. The model provides an approach for temporal consistency checking during both build-time and runtime. The proposed model and approach provide a vehicle for global business process modeling, planning and monitoring. Ó 2001 Elsevier Science Inc. All rights reserved.
منابع مشابه
Discovering Workflow Performance Models from Timed Logs
Contemporary work ow management systems are driven by explicit process models, i.e., a completely speci ed work ow design is required in order to enact a given work ow process. Creating a work ow design is a complicated time-consuming process and typically there are discrepancies between the actual work ow processes and the processes as perceived by the management. Therefore, we have developed ...
متن کاملContribution à la modélisation et à la vérification de processus workflow
Work ow technology, whose role is to automate business processes and to provide a support for their management, is today an active sector of research. This thesis deals with the modelling of the work ow processes and their analysis. These processes, probably constrained by shared resources or by durations of treatment, must be checked before being executed by their work ow management systems. I...
متن کاملTowards Identifying Spurious Paths in Combined Simulink/Stateflow Models
MATLAB/Simulink and its state machine design toolbox State ̄ow are widely-used industrial tools for the development of complex embedded systems. Due to the dynamic as well as heterogeneous nature of models that contain both Simulink and State ̄ow components, their analysis poses a dif®cult challenge. This paper outlines an approach to relate the semantics of both Simulink and State ̄ow and how to ...
متن کاملModeling a Bank ATM with Two Directions Places Timed Petri Net (TPN)
A Bank ATM is including controller, card authorization system and a teller unit .This paper explains howthis parts connects together. In this paper will be used of a new mode place in Petri nets. More systemsusually have a complex constructs. ATM will be simulated use of new mode place at this study. The Mainpart of this model is used of T.S.Staines model [1]. We discuss how a simple model of T...
متن کاملResource-Constrained Optimal Scheduling of Synchronous Data ow Graphs via Timed Automata∗
Synchronous data ow (SDF) graphs are a widely used formalism for modelling, analysing and realising streaming applications, both on a single processor and a multiprocessing context. E cient schedules are necessary to obtain maximal throughput with the optimum energy consumption in such a way that the number of resources used to run these applications is kept as low a possible. This paper presen...
متن کامل